منابع مشابه
Forking in VC-minimal theories
We consider VC-minimal theories admitting unpackable generating families, and show that in such theories, forking of formulae over a model M is equivalent to containment in global types definable over M , generalizing a result of Dolich on o-minimal theories in [4].
متن کاملOn VC-minimal theories and variants
In this paper, we study VC-minimal theories and explore related concepts. We first define the notion of convex orderablity and show that this lies strictly between VCminimality and dp-minimality. To do this we prove a general result about set systems with independence dimension ≤ 1. Next, we define the notion of weak VC-minimality, show it lies strictly between VC-minimality and dependence, and...
متن کاملForking in simple theories and CM-triviality
Aquesta tesi doctoral està subjecta a la llicència Reconeixement-NoComercial – SenseObraDerivada 3.0. Espanya de Creative Commons. Esta tesis doctoral está sujeta a la licencia Reconocimiento-NoComercial – SinObraDerivada 3.0. España de Creative Commons. Als meus pares i al meu germà, per haver estat sempre al meu costat A la Mar, per estar-hi des que ens vem trobar
متن کاملForking and dividing in NTP₂ theories
We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that dependence is equivalent to bounded forking assuming NTP2.
متن کاملGeometry of forking in simple theories
We investigate the geometry of forking for Urank 2 elements in supersimple ω-categorical theories and prove stable forking and some structural properties for such elements. We extend this analysis to the case of U-rank 3
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2012
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl.7704110